1341. Verification and validation in systems engineering : assessing UML/SysML design models
پدیدآورنده : Mourad Debbabi ... ]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Systems engineering,Verification ، Expert systems )Computer science(,Validation ، Expert systems )Computer science(,، UML )Computer science(,، SysML )Computer science(
رده :
QA
76
.
76
.
E95
V47
2010
1342. Verification and validation of rule-based expert systems]CD[
پدیدآورنده : Smith, Suzanne, Suzanne Smith, Abraham Kandel
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software
رده :
CD
1748-83
1343. Verification and validation of rule-based expert systems
پدیدآورنده : / Suzanne Smith, Abraham Kandel
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Expert systems (Computer science),Computer software- Verification,Computer software- Validation
رده :
QA76
.
76
.
E95
,
S66
1993
1344. View-independent face recognition with mixture of experts
پدیدآورنده : by: Reza Ebrahimpour,^AEbrahimpour, Reza
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Computer vision,Human face recognition )Computer science(,Expert systems )Computer science(,Neural networks )Computer science(,Pattern perception,Neurophysiology,Visual perception
1345. Virtual humans: a build-it-yourself kit, complete with software and step-by-step instructions
پدیدآورنده : Plantec, Peter M.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Natural language processing )Computer science(,، Expert systems )Computer science(,Computer simulation ، Personality
رده :
QA
76
.
9
.
N38
P47
1346. Vivid logic
پدیدآورنده : / Gerd Wagner
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
1347. Vivid logic :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
1348. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
1349. Von Datenbanken zu Expertensystemen
پدیدآورنده : Hans-Jürgen Appelrath.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Database management.,Datenbank.,Expert systems (Computer science)
رده :
QA76
.
9
.
D3
H367
1985
1350. Wissensbasierte Systeme :
پدیدآورنده : Doris Altenkrüger ; Winfried Büttner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Expertensystem -- 0 Gesamtdarstellung.,Wissensbasiertes System.
1351. Wissensbasierte Systeme.
پدیدآورنده : Wilfried Brauer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
1352. XPS'99 : Knowledge-based systems : survey and future decisions : 5th biannual German Conference on Knowledge-Based Systems, Wurzburg, Germany, March 1999 : proceedings
پدیدآورنده : Frank Puppe )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1570
1353. A methodology for uncertainty in knowledge-based systems
پدیدآورنده : Weichselberger, Kurt
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Expert systems )Computer science(,، Uncertainty )Information theory(
رده :
QA
76
.
76
.
E95
.
W44
1990
1354. agent systems-Convergence and knowledge processing in multi
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ; Intelligent agents (Computer software) ;
1355. based environments-Complex systems in knowledge
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Knowledge representation (Information theory) ; Expert systems (Computer science) ; Intelligent agents (Computer software) ; Repr?sentation des connaissances. ; Syst?mes experts (Informatique) ; Agents intelligents (Logiciels) ; Komplexes System. ; swd. ;
1356. based expert systems :-Rule
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Expert systems (Computer science) ;
1357. based expert systems in chemistry :-Knowledge
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Chemistry ; Data processing. ; Expert systems (Computer science) ;
1358. based manufacturing and control systems :-Agent
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer integrated manufacturing systems ; Expert systems (Computer science) ; Manufacturing processes ; Automation ; Production control ; Data processing ;
1359. based reasoning :-Advances in case
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : based reasoning ; Congresses ; -Expert systems (Computer science) ; Congresses ; Case
